北京邮电大学学报 ›› 2012, Vol. 35 ›› Issue (1): 24-27.doi: 10.13190/jbupt.201201.24.anj
函数摘要在Concolic测试方法中的应用
- 北京邮电大学 计算机学院, 北京 100876
Applications of Function Summary in Concolic Testing
AN Jing, HONG Jin-xin, WEI Geng-yu, YANG Yi-xian
- School of Computer Science, Beijing University of Posts and Telecommunications, Beijing 100876, China
摘要:
在函数摘要的基础上提出了一种新的Concolic测试方法.该方法利用外部调用的函数摘要来避免多次测试外部调用引起的路径爆炸问题.在对外部调用进行Concolic测试后,将其返回结果和路径条件作为函数摘要.测试过程中调用同一外部调用时,该方法用函数摘要替代展开测试,避免了传统Concolic测试过程对外部调用重复测试的问题,缓解了调用次数增多和调用深度增加引起的路径爆炸问题.原型系统的实验结果表明,随着测试对象中函数数量的增加,传统Concolic测试路径数量可能出现指数型增长,而该方法中测试路径数量基本保持线性增长
中图分类号: